301. Proof and knowledge in mathematics
پدیدآورنده : edited by Michael Detelfsen
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
P766
302. Proofs and Fundamentals
پدیدآورنده : by Ethan D. Bloch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
303. Proofs and refutations : the logic of mathematical discovery
پدیدآورنده : Lakatos, Imre, 2291-4791.
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
L35
1976
304. Pure mathematics
پدیدآورنده : / by J.K. Backhouse, S.P.T. Houldsworth and B.E.D. Cooper
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
B23
1974
305. Purity, spectra and localisation
پدیدآورنده : Prest, Mike
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
9
.
P74P8
306. Purity, spectra and localisation /
پدیدآورنده : Mike Prest
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Logic, Symbolic and mathematical
رده :
QA150
.
P74
2009
307. Quantum Measures and Spaces
پدیدآورنده : by Gudrun Kalmbach.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.
308. Random Sets
پدیدآورنده : edited by John Goutsias, Ronald P. S. Mahler, Hung T. Nguyen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distribution (Probability theory).,Logic, Symbolic and mathematical.,Mathematics.
309. Reading, Writing, and Proving :
پدیدآورنده : by Ulrich Daepp, Pamela Gorkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3
310. Recent Advances in Applications of Computational and Fuzzy Mathematics /
پدیدآورنده : Snehashish Chakraverty, Sanjeewa Perera, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy logic.,Logic, Symbolic and mathematical.,Mathematics.,Fuzzy logic.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Mathematics.
رده :
QA9
.
64
311. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
312. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand
پدیدآورنده : / Par Jacques Fauve
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy
رده :
149
.
94
Wi-R
313. Semi-Markov Models and Applications
پدیدآورنده : edited by Jacques Janssen, Nikolaos Limnios.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Statistics.,Systems theory.
314. Semirings and Affine Equations over Them: Theory and Applications
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
315. Semirings and their Applications
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
316. Serial Rings
پدیدآورنده : by Gennadi Puninski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.
317. Set Theory
پدیدآورنده : edited by Carlos Augusto Prisco, Jean A. Larson, Joan Bagaria, A. R. D. Mathias.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.,Topology.
318. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
319. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
